cauchy first theorem